THEORIES OF INHERITANCE

Local theories of inheritance

Inheritance networks are not expressive enough to capture all intuitions behind inheritance. Hence, a number of signiicantly diierent semantics have been proposed. Here, a family of local theories of inheritance is presented that are conceptually simple and computationally tractable. A general model-theoretic framework for specifying direct semantics to networks and clarifying relationships amo...

Functorial semantics of topological theories

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance

In Artificial Intelligence, well-understood reasoning systems and tractable reasoning systems have often seemed mutually exclusive. This has been exemplified by nonmonotonic reasoning formalisms and inheritance-with-exceptions reasoners. These have epitomized the two extremes: the former not even semidecidable, the latter completely ad hoc. We previously presented a formal mechanism for specify...

A REVIEW OF NEW THEORIES IN MIGRATION

Migration is the permanent movement of some people called migrant, from one place to another for some reasons and values. Their migration is determined by some values and goals that lead to changes in migrants’ interaction system. In human history the shape of migration was changed due to social and environmental changes. From the eve of 19 century migration became important social phenom...

A World of Changes: The Inheritance of COVID-19